package cs236703.winter2013.hw4.provided;

import static org.junit.Assert.*;


import org.junit.Test;

import cs236703.winter2013.hw4.solution.JCore;
import cs236703.winter2013.hw4.solution.JTestSummary;

public class ExampleTest {

	@Test
	public void testForExample() {
		
		JTestSummary result = JCore.testClass(ExampleClass.class);
		assertEquals(1, result.getNumSuccesses());
		assertEquals(1, result.getNumFailures());
		assertEquals(0, result.getNumErrors());
	}

}
